181. Logica universalis
Author: / Jean-Yves Beziau, editor
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Logic, Symbolic and mathematical.,Model theory.
Classification :
QA
,
9
.
2
,.
L64
,
2005


182. Logica universalis
Author: / Jean-Yves Beziau, editor
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Logic, Symbolic and mathematical,Model theory
Classification :
QA9
.
2
.
L64
2005


183. Mathematical logic : an introduction to model theory
Author: Lightstone, A. H.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Model theory
Classification :
QA
9
.
L54


184. Mathematical logic; an introduction to model theory
Author: / A. H. Lightstone edited by H. B. Enderton
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Logic, symbolic and mathematical,Model theory
Classification :
511
.
3
L724


185. Mathematical logic and model theory a brief introduction
Author: Prestel, A.)Alexander(,1491-,Alexander Prestel, Charles N. Delzell
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: ، Logic, Symbolic and mathematical,، Model theory
Classification :
QA
169
.
M3
P7
2011


186. Mathematical logic and model theory: a brief introduction
Author: Prestel, A. )Alexander(
Library: Central Library and Documentation Center (Golestan)
Subject: ، Logic, Symbolic and mathematical,، Model theory
Classification :
QA
9
.
P68
M38


187. Mathematical logic and model theory : a brief introduction
Author: Alexander Prestel, Charles N. Delzell
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Model theory
Classification :
QA
9
.
P743M3


188. Mathematical logic and model theory: a brief introduction
Author: Prestel, A. )Alexander(
Library: Central Library and Documentation Center (Kerman)
Subject: ، Logic, Symbolic and mathematical,، Model theory
Classification :
QA
9
.
P68
2011


189. Media theory
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Model theory. ; Combinatorial group theory. ; Set theory. ; Modellen (theorie) ; gtt. ; Numerieke wiskunde. ; gtt. ; Systeemtheorie ; gtt. ;

190. Media theory: interdisciplinary applied mathematics
Author: Eppstein, David
Library: (Semnan)
Subject: ، Model theory,، Combinatorial group theory,، Set theory,، Modellen )theorie(,، Numerieke wiskunde,، Systeemtheorie
Classification :
QA
9
.
7
.
M43
2008


191. Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Intuitionistic Mathematics. ; Proof Theory. ; Model Theory. ;

192. Metamathematical investigation of intuitionistic arithmetic and analysi
Author: / A.S. Troelstra (editor)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Intuitionistic mathematics.,Proof theory.,Model theory.
Classification :
QA3
,.
L28
,
no
.,
34


193. Metamathematical investigation of intuitionistic arithmetic and analysis
Author: Troelstra, A. S. )Anne Sjerp(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Intuitionistic mathematics,، Proof theory,، Model theory
Classification :
QA
3
.
L28
no
.
344


194. Metamathematical investigation of intuitionistic arithmetic and analysis
Author: / [by] A. S. Troelstra
Library: Library of College of Science University of Tehran (Tehran)
Subject: Intuitionistic mathematics,Proof theory,Model theory
Classification :
QA
9
.
47
.
T7
1973


195. Metamathematical investigation of intuitionistic arithmetic and analysis
Author: / A. S. Troelstra
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Intutitionistic mathematics,Proof Theory,Model Theory
Classification :
510
.
8
Me


196. Metamathematical investigation of intuitionistic arithmetic and analysis
Author: Troelstra, Anne Sjerp
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Intuitionistic mathematics,، Proof theory,، Model theory
Classification :
QA
3
.
L28
no
.
344


197. Model-Based Reasoning in Science and Technology
Author: \ Lorenzo Magnani, Claudia Casadio Editors
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Knowledge, Theory of,شناخت (فلسفه),a04,a04,Model-based reasoning.
Classification :
E-Book
,

198. Model categories
Author: Mark Hovey
Library: Vali Asr University Central Library (Kerman)
Subject: Model categories )Mathematics(,Homotopy theory,Complexes
Classification :
QA
169
.
H68
1999


199. Model categories
Author: / Mark Hovey
Library: Library of College of Science University of Tehran (Tehran)
Subject: Model categories (Mathematics),Homotopy theory,Complexes
Classification :
QA
169
.
H68
1991


200. Model categories and their localizations
Author: Hirschhorn, Philip S. )Philip Steven(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Model categories )Mathematics(,، Homotopy theory
Classification :
QA
169
.
H57
2003

